An archival journal, published monthly, covering well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software.
Argues that for concurrent programming to become mainstream, threads must be discarded as a programming model. Nondeterminism should be judiciously and carefully introduced where needed, and it should be explicit in programs.